external direct Product